منابع مشابه
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
In this paper, the problem of synthesizing a hybrid controller for a specification expressed as a temporal logic formula φ is considered. We propose a hierarchical approach which consists of three steps. First, the plant to be controlled is abstracted to a fully actuated system. Using the notion of approximate simulation relation, we design a continuous interface allowing the plant to track the...
متن کاملHierarchical Causal Parameter Abduction in Integral-Hybrid Logic Nets
Hybrid logic nets contain nodes that exhibit recurrent characteristics, in that a node output shows temporal tendencies even when the inputs are constant (Al-Dabass et al. 1999a and b). Given the behaviour trajectory of such a node it is required to abduct the values of the causal parameters. A new causal parameter estimation algorithm is given for abducting knowledge embedded within recurrent ...
متن کاملHierarchical Constraint Logic Programming
Constraint Logic Programming (CLP) is a general scheme for extending logic programming to include constraints. It is parameterized by D, the domain of the constraints. However, CLP(D) languages, as well as most other constraint systems, only allow the programmer to specify constraints that must hold. In many applications, such as interactive graphics, planning, document formatting, and decision...
متن کاملHybrid Logic and Uncertain Logic
Probabilistic logic and credibilistic logic are two branches of multi-valued logic for dealing with random knowledge and fuzzy knowledge, respectively. In this paper, a hybrid logic is introduced for dealing with random knowledge and fuzzy knowledge simultaneously. First, a hybrid formula is introduced on the basis of random proposition and fuzzy proposition. Furthermore, a hybrid truth value i...
متن کاملHierarchical Hybrid Block Diagrams
Block diagram languages are now commonly used to design and even implement embedded systems. In the design phase, they are used to model both plant and controller, typically with continuous and discrete modeling respectively. The semantics of these languages are often vague and/or complex, which is fine for some users but leaves others puzzled by the behaviors they observe. This paper presents ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2018
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2018.10.011